On the Derivation of Lattice Structured Information Flow Policies
نویسنده
چکیده
Recent studies in secure computer svstems have shown that lattice structured information flow policies have properties which lead to simple and efficient enforcement mechanisms. This paper outlines a method for transforming nonlattice structured policies into lattices while Dreserving the validity of all : flows.
منابع مشابه
Implementation of D3Q19 Lattice Boltzmann Method with a Curved Wall Boundary Condition for Simulation of Practical Flow Problems
In this paper, implementation of an extended form of a no-slip wall boundary condition is presented for the three-dimensional (3-D) lattice Boltzmann method (LBM) for solving the incompressible fluid flows with complex geometries. The boundary condition is based on the off-lattice scheme with a polynomial interpolation which is used to reconstruct the curved or irregular wall boundary on the ne...
متن کاملSecurity Engineering of Lattice-Based Policies
This paper describes an algebraic approach to the security engineering of lattice policies. The approach extends earlier lattice and algebraic work [13, 20, 24], and has two main goals. First, it seeks to model access control policies with anti-symmetry, reflexivity and transitivity exceptions using a lattice, and to propose an information flow security definition for the resulting set (POL) of...
متن کاملNumerical Simulation of Fluid Flow Past a Square Cylinder Using a Lattice Boltzmann Method
The method of lattice boltzmann equation(LBE) is a kinetic-based approach for fluid flow computations. In the last decade, minimal kinetic models, and primarily the LBE, have met with significant success in the simulation of complex hydrodynamic phenomena, ranging from slow flows in grossly irregular geometries to fully developed turbulence, to flow with dynamic phase transitions. In the presen...
متن کاملExternal and Internal Incompressible Viscous Flows Computation using Taylor Series Expansion and Least Square based Lattice Boltzmann Method
The lattice Boltzmann method (LBM) has recently become an alternative and promising computational fluid dynamics approach for simulating complex fluid flows. Despite its enormous success in many practical applications, the standard LBM is restricted to the lattice uniformity in the physical space. This is the main drawback of the standard LBM for flow problems with complex geometry. Several app...
متن کاملDouble derivations of n-Lie algebras
After introducing double derivations of $n$-Lie algebra $L$ we describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual derivation Lie algebra $mathcal Der(L)$. In particular, we prove that the inner derivation algebra $ad(L)$ is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011